Struct isotope::ast::FullyAnnotated [−][src]
pub struct FullyAnnotated;
Expand description
Print out all annotations for non-universe terms
Trait Implementations
This method returns an ordering between self
and other
values if one exists. Read more
This method tests less than (for self
and other
) and is used by the <
operator. Read more
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
Annotate a term in this context
Print a variable index, given an annotation
Whether to print the parameter type of lambda functions
Try to convert a term to an AST in this context
Cache the result of converting a term to an AST in this context
Auto Trait Implementations
impl RefUnwindSafe for FullyAnnotated
impl Send for FullyAnnotated
impl Sync for FullyAnnotated
impl Unpin for FullyAnnotated
impl UnwindSafe for FullyAnnotated
Blanket Implementations
Mutably borrows from an owned value. Read more
Borrow an optional value of type T
Compare self to key
and return true
if they are equal.